1. Martin Davis on computability, computational logic, and mathematical foundations
Author: Eugenio G. Omodeo, Alberto Policriti, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
Classification :
QA
241
.
M38
